User-defined schedulers for real-time concurrent objects
نویسندگان
چکیده
منابع مشابه
Composing Real-Time Concurrent Objects
Concurrent objects encapsulate a processor each and communicate by asynchronous message passing; therefore, they can be composed to naturally model distributed and embedded systems. We model real-time concurrent objects using timed automata and provide each object with a context-speci c scheduling policy. The envisioned usage and guaranteed deadlines of each object is speci ed in its behavioral...
متن کاملTesting Concurrent Objects with Application-Specific Schedulers
In this paper, we propose a novel approach to testing executable models of concurrent objects under application-specific scheduling regimes. Method activations in concurrent objects are modeled as a composition of symbolic automata; this composition expresses all possible interleavings of actions. Scheduler specifications, also modeled as automata, are used to constrain the system execution. Te...
متن کاملA Framework for Composing Real-Time Schedulers
In this paper, we present a framework for integrating real-time components in the same system, where each component has its own scheduling algorithm. There are two main reasons for this research: to allow maximum flexibility in the design of systems with different real-time activities and to reuse already existing applications without changing their scheduling policy. After defining the concept...
متن کاملSchedulability of Asynchronous Real - Time Concurrent Objects 1
We present a modular method for schedulability analysis of real time distributed systems. We extend the actor model, as the asynchronous model for concurrent objects, with real time using timed automata, and show how actors can be analyzed individually to make sure that no task misses its deadline. We introduce drivers to specify how an actor can be safely used. Using these drivers we can verif...
متن کاملSchedulability of Asynchronous Real - Time Concurrent Objects 1 Mohammad Mahdi
We present a modular method for schedulability analysis of real time distributed systems. We extend the actor model, as the asynchronous model for concurrent objects, with real time using timed automata, and show how actors can be analyzed individually to make sure that no task misses its deadline. We introduce drivers to specify how an actor can be safely used. Using these drivers we can verif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Innovations in Systems and Software Engineering
سال: 2012
ISSN: 1614-5046,1614-5054
DOI: 10.1007/s11334-012-0184-5